(*
 * Copyright (C) 2011  INRIA and Microsoft Corporation
 *)

(* tlapm.ml *)
val write_fingerprint : Proof.T.obligation -> Proof.T.obligation;;
